منابع مشابه
Formal Foundations for RDF Evolution and Repair
There are ongoing efforts to provide declarative formalisms of integrity constraints over RDF data. In this context, addressing the evolution of RDF knowledge bases while respecting associated constraints is a challenging issue, yet to receive a full formal treatment. This problem has become more important with the emergence of Linked Open Data, which is based on RDF. Linked Open Data is becomi...
متن کاملFormal Foundations for Reasoning about Evolution
Designing software systems is difficult. Designing systems that are capable of evolving is even more difficult. Often the system evolves in an unforeseen direction. Practice shows that software systems grow in small evolutionary steps. An evolution usually influences the behavior and the structure of the system. However, it is not desired that the evolution influences one or more modules of the...
متن کاملEvolution Styles - Formal foundations and tool support for software architecture evolution
Architecture evolution is a central feature of virtually all software systems. As new market opportunities, technologies, platforms, and frameworks become available systems must change their organizational structures to accommodate them, requiring large-scale and systematic restructuring. Today architects have few tools to help them plan and execute such evolutionary paths. In particular, they ...
متن کاملFormal Foundations for the Unified Modeling Language
We present in this work an outline of an ongoing research line in the framework of the Software Engineering Group (SEG) at the National University of San Luis. We describe here the previous work carried out by the group in formalizing UML using RSL, as well as the current and future work in the
متن کاملFormal foundations for hybrid effect analysis
Type-and-effect systems are a powerful tool for program construction and verification. Type-andeffect systems are useful because it help reduce bugs in computer programs, enable compiler optimizations and provide program documentation. As software systems increasingly embrace dynamic features and complex modes of compilation, static effect systems have to reconcile over competing goals such as ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Knowledge and Information Systems
سال: 2012
ISSN: 0219-1377,0219-3116
DOI: 10.1007/s10115-012-0500-2